Optimizing Distributed Protocols with Query Rewrites
Implementations of distributed protocols such as 2PC or Paxos are complex pieces of software with subtle assumptions and correctness requirements. As such, optimizing these implementations requires distributed systems experts with years of experience that are ideally supported by software verification tools. The paper "Optimizing Distributed Protocols with Query Rewrites" introduces automatic rewrite techniques that can optimize distributed protocol implementations based on certain rules and proven scaling techniques. In the future, these rules could potentially be included in specialized compilers for distributed systems.
For this seminar topic, you will explain the core ideas of the paper, present challenges and open questions, and compare it to related work. Additionally, you will try out the software artifact provided with the paper.